Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
"Bridge sorting" problem
reddit.com·15h·
Discuss: r/compsci
🌿Trie Variants
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🌲Tree Rewriting
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·19h·
Discuss: Hacker News
💬Interactive REPLs
A grand week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Memorizing a list of seed words
johndcook.com·9h·
Discuss: Hacker News
📋Copy GC
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
The Inverse Matrix problem
talesfrom.dev·6h
🚂Error Propagation
Building a Command-Line Quiz Application in R
towardsdatascience.com·16h
💬Interactive REPLs
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·23h·
Discuss: DEV
🌿Trie Structures
The foundation of "streams" in Node.js [NodeBook]
thenodebook.com·1d·
Discuss: r/node
⏱️Real-Time GC
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·11h
🧮Combinator Calculus
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·2d·
Discuss: DEV
🎮Language Ergonomics
Build a Text-to-SQL System: A Guide to Replicating Pinterest’s Approach
analyticsvidhya.com·1d
💾Minimal Databases
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·2h
🧩Constraint Solvers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language